Machine Learning and the Cognitive Basis of Natural Language

Articl

Machine Learning Theory and Practice as a Source of Insight into Universal Grammar

Articl

Classifying Ellipsis in Dialogue: A Machine Learning Approach

Articl

Type-theoretic logic with an operational account of intensionality

We formulate a Curry-typed logic with fine-grained intensionality within Turner?s typed predicate logic. This allows for an elegant presentation of a theory that corresponds to Fox and Lappin?s property theory with curry typing, but without the need for a federation of languages. We then consider how the fine-grained intensionality of this theory can be given an operational interpretation. This interpretation suggests itself as expressions in the theory can be viewed as terms in the untyped lambda-calculus, which provides a model of computation

A Higher-Order Fine-Grained Logic for Intensional Semantics

Articl